Orchestrating Security and System Engineering for Evolving Systems
Identifieur interne : 002032 ( Main/Exploration ); précédent : 002031; suivant : 002033Orchestrating Security and System Engineering for Evolving Systems
Auteurs : Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne]Source :
Abstract
How to design a security engineering process that can cope with the dynamic evolution of Future Internet scenarios and the rigidity of existing system engineering processes? The SecureChange approach is to orchestrate (as opposed to integrate) security and system engineering concerns by two types of relations between engineering processes: (i) vertical relations between successive security-related processes; and (ii) horizontal relations between mainstream system engineering processes and concurrent security-related processes. This approach can be extended to cover the complete system/ software lifecycle, from early security requirement elicitation to runtime configuration and monitoring, via high-level architecting, detailed design, development, integration and design-time testing. In this paper we illustrate the high-level scientific principles of the approach.
Url:
DOI: 10.1007/978-3-642-24755-2_12
Affiliations:
- Allemagne, Belgique, France, Italie, Norvège
- Franche-Comté, Grand Est, Lorraine (région), Province du Brabant flamand, Province du Brabant wallon, Région flamande, Région wallonne
- Belfort, Besançon, Louvain, Louvain-la-Neuve, Nancy
- Institut national polytechnique de Lorraine, Katholieke Universiteit Leuven, Université Nancy 2, Université catholique de Louvain, Université de Bourgogne Franche-Comté, Université de Franche-Comté, Université de Lorraine, Université de technologie de Belfort-Montbéliard
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 003A09
- to stream Hal, to step Curation: 003A09
- to stream Hal, to step Checkpoint: 001A84
- to stream Main, to step Merge: 002075
- to stream Main, to step Curation: 002032
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Orchestrating Security and System Engineering for Evolving Systems</title><author><name sortKey="Massacci, Fabio" sort="Massacci, Fabio" uniqKey="Massacci F" first="Fabio" last="Massacci">Fabio Massacci</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-37385" status="VALID"><orgName>Department of Information Engineering and Computer Science</orgName><orgName type="acronym">DISI</orgName><desc><address><addrLine>Dipartimento di Ingegneria e Scienza dell'Informazione Via Sommarive, 14 I-38123 POVO tel. (+39) 0461 882092 fax: (+39) 0461 882093 E-mail: disi@disi.unitn.it</addrLine><country key="IT"></country></address><ref type="url">http://disi.unitn.it/</ref></desc><listRelation><relation active="#struct-452108" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-452108" type="direct"><org type="institution" xml:id="struct-452108" status="VALID"><orgName>University of Trento [Italy]</orgName><desc><address><addrLine>University of Trentovia Calepina, 14 - I-38122 TrentoP.IVA-C.F. 00340520220</addrLine><country key="IT"></country></address><ref type="url">http://www.unitn.it/en</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Italie</country></affiliation></author><author><name sortKey="Bouquet, Fabrice" sort="Bouquet, Fabrice" uniqKey="Bouquet F" first="Fabrice" last="Bouquet">Fabrice Bouquet</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2366" status="OLD"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Fourneret, Elizabeta" sort="Fourneret, Elizabeta" uniqKey="Fourneret E" first="Elizabeta" last="Fourneret">Elizabeta Fourneret</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2366" status="OLD"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Jurjens, Jan" sort="Jurjens, Jan" uniqKey="Jurjens J" first="Jan" last="Jurjens">Jan Jurjens</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-97845" status="INCOMING"><orgName>Dortmund University of Technology</orgName><desc><address><country key="DE"></country></address><ref type="url">http://www.tu-dortmund.de/uni/International/index.html</ref></desc></hal:affiliation><country>Allemagne</country></affiliation></author><author><name sortKey="Lund, Mass" sort="Lund, Mass" uniqKey="Lund M" first="Mass" last="Lund">Mass Lund</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-119487" status="VALID"><orgName>The Foundation for Scientific and Industrial Research</orgName><orgName type="acronym">SINTEF</orgName><desc><address><addrLine>P.O. Box 124 Blindern N-0314 Oslo, Norway</addrLine><country key="NO"></country></address><ref type="url">http://www.sintef.no/</ref></desc></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Madelenat, Sebastien" sort="Madelenat, Sebastien" uniqKey="Madelenat S" first="Sébastien" last="Madelénat">Sébastien Madelénat</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-6365" status="VALID"><orgName>Thales Research and Technologies [Orsay]</orgName><orgName type="acronym">TRT</orgName><desc><address><addrLine>Domaine de Corbeville, 91404 Orsay CEDEX ,France</addrLine><country key="FR"></country></address><ref type="url">http://www.thalesgroup.com/</ref></desc><listRelation><relation active="#struct-300056" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300056" type="direct"><org type="institution" xml:id="struct-300056" status="VALID"><orgName>THALES</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Muehlberg, Jantobias" sort="Muehlberg, Jantobias" uniqKey="Muehlberg J" first="Jantobias" last="Muehlberg">Jantobias Muehlberg</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-147974" status="VALID"><orgName>Department of Computer Science - K.U.Leuven</orgName><desc><address><addrLine>K.U.Leuven Department of Computer Science Celestijnenlaan 200A - bus 2402 B-3001 Heverlee (Leuven) Belgium</addrLine><country key="BE"></country></address></desc><listRelation><relation active="#struct-302497" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-302497" type="direct"><org type="institution" xml:id="struct-302497" status="VALID"><orgName>Katholieke Universiteit Leuven</orgName><orgName type="acronym">KU Leuven</orgName><desc><address><addrLine>Oude Markt 13 - bus 5005, 3000 Leuven</addrLine><country key="BE"></country></address><ref type="url">http://www.kuleuven.be/english</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Belgique</country><placeName><settlement type="city">Louvain</settlement><region>Région flamande</region><region type="district" nuts="2">Province du Brabant flamand</region></placeName><orgName type="university">Katholieke Universiteit Leuven</orgName></affiliation></author><author><name sortKey="Paci, Federica" sort="Paci, Federica" uniqKey="Paci F" first="Federica" last="Paci">Federica Paci</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-37385" status="VALID"><orgName>Department of Information Engineering and Computer Science</orgName><orgName type="acronym">DISI</orgName><desc><address><addrLine>Dipartimento di Ingegneria e Scienza dell'Informazione Via Sommarive, 14 I-38123 POVO tel. (+39) 0461 882092 fax: (+39) 0461 882093 E-mail: disi@disi.unitn.it</addrLine><country key="IT"></country></address><ref type="url">http://disi.unitn.it/</ref></desc><listRelation><relation active="#struct-452108" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-452108" type="direct"><org type="institution" xml:id="struct-452108" status="VALID"><orgName>University of Trento [Italy]</orgName><desc><address><addrLine>University of Trentovia Calepina, 14 - I-38122 TrentoP.IVA-C.F. 00340520220</addrLine><country key="IT"></country></address><ref type="url">http://www.unitn.it/en</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Italie</country></affiliation></author><author><name sortKey="Paul, Stephane" sort="Paul, Stephane" uniqKey="Paul S" first="Stéphane" last="Paul">Stéphane Paul</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54302" status="VALID"><orgName>Thales Communications [Colombes]</orgName><desc><address><addrLine>160 Bd de Valmy, BP 82 92704 Colombes cedex, France</addrLine><country key="FR"></country></address><ref type="url">http://www.thalesgroup.com/</ref></desc><listRelation><relation active="#struct-300056" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300056" type="direct"><org type="institution" xml:id="struct-300056" status="VALID"><orgName>THALES</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Piessens, Frank" sort="Piessens, Frank" uniqKey="Piessens F" first="Frank" last="Piessens">Frank Piessens</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-135084" status="VALID"><orgName>Machine Intelligence and Imaging Research Group</orgName><orgName type="acronym">ESAT</orgName><desc><address><addrLine>Machine Intelligence and Imaging Research Group, Department of Electrical Engineering (E.S.A.T.), Katholieke Universiteit Leuven, Kurd. Mercierlaan 94, B--3001 Leuven (Heverlee), Belgium</addrLine><country key="BE"></country></address></desc><listRelation><relation active="#struct-92863" type="direct"></relation><relation active="#struct-302497" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-92863" type="direct"><org type="institution" xml:id="struct-92863" status="VALID"><orgName>Université Catholique de Louvain</orgName><orgName type="acronym">UCL</orgName><desc><address><addrLine>Place de l'Université 1 - 1348 Louvain-La-Neuve</addrLine><country key="BE"></country></address><ref type="url">http://www.uclouvain.be/</ref></desc></org></tutelle><tutelle active="#struct-302497" type="direct"><org type="institution" xml:id="struct-302497" status="VALID"><orgName>Katholieke Universiteit Leuven</orgName><orgName type="acronym">KU Leuven</orgName><desc><address><addrLine>Oude Markt 13 - bus 5005, 3000 Leuven</addrLine><country key="BE"></country></address><ref type="url">http://www.kuleuven.be/english</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Belgique</country><placeName><settlement type="city">Louvain-la-Neuve</settlement><region type="region" nuts="1">Région wallonne</region><region type="province" nuts="1">Province du Brabant wallon</region></placeName><orgName type="university">Université catholique de Louvain</orgName><placeName><settlement type="city">Louvain</settlement><region>Région flamande</region><region type="district" nuts="2">Province du Brabant flamand</region></placeName><orgName type="university">Katholieke Universiteit Leuven</orgName></affiliation></author><author><name sortKey="Solhaug, Bjornar" sort="Solhaug, Bjornar" uniqKey="Solhaug B" first="Bjornar" last="Solhaug">Bjornar Solhaug</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-119487" status="VALID"><orgName>The Foundation for Scientific and Industrial Research</orgName><orgName type="acronym">SINTEF</orgName><desc><address><addrLine>P.O. Box 124 Blindern N-0314 Oslo, Norway</addrLine><country key="NO"></country></address><ref type="url">http://www.sintef.no/</ref></desc></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Wenzel, Sven" sort="Wenzel, Sven" uniqKey="Wenzel S" first="Sven" last="Wenzel">Sven Wenzel</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-97845" status="INCOMING"><orgName>Dortmund University of Technology</orgName><desc><address><country key="DE"></country></address><ref type="url">http://www.tu-dortmund.de/uni/International/index.html</ref></desc></hal:affiliation><country>Allemagne</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00649258</idno><idno type="halId">hal-00649258</idno><idno type="halUri">https://hal.inria.fr/hal-00649258</idno><idno type="url">https://hal.inria.fr/hal-00649258</idno><idno type="doi">10.1007/978-3-642-24755-2_12</idno><date when="2011-10-26">2011-10-26</date><idno type="wicri:Area/Hal/Corpus">003A09</idno><idno type="wicri:Area/Hal/Curation">003A09</idno><idno type="wicri:Area/Hal/Checkpoint">001A84</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001A84</idno><idno type="wicri:Area/Main/Merge">002075</idno><idno type="wicri:Area/Main/Curation">002032</idno><idno type="wicri:Area/Main/Exploration">002032</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Orchestrating Security and System Engineering for Evolving Systems</title><author><name sortKey="Massacci, Fabio" sort="Massacci, Fabio" uniqKey="Massacci F" first="Fabio" last="Massacci">Fabio Massacci</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-37385" status="VALID"><orgName>Department of Information Engineering and Computer Science</orgName><orgName type="acronym">DISI</orgName><desc><address><addrLine>Dipartimento di Ingegneria e Scienza dell'Informazione Via Sommarive, 14 I-38123 POVO tel. (+39) 0461 882092 fax: (+39) 0461 882093 E-mail: disi@disi.unitn.it</addrLine><country key="IT"></country></address><ref type="url">http://disi.unitn.it/</ref></desc><listRelation><relation active="#struct-452108" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-452108" type="direct"><org type="institution" xml:id="struct-452108" status="VALID"><orgName>University of Trento [Italy]</orgName><desc><address><addrLine>University of Trentovia Calepina, 14 - I-38122 TrentoP.IVA-C.F. 00340520220</addrLine><country key="IT"></country></address><ref type="url">http://www.unitn.it/en</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Italie</country></affiliation></author><author><name sortKey="Bouquet, Fabrice" sort="Bouquet, Fabrice" uniqKey="Bouquet F" first="Fabrice" last="Bouquet">Fabrice Bouquet</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2366" status="OLD"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Fourneret, Elizabeta" sort="Fourneret, Elizabeta" uniqKey="Fourneret E" first="Elizabeta" last="Fourneret">Elizabeta Fourneret</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2366" status="OLD"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Jurjens, Jan" sort="Jurjens, Jan" uniqKey="Jurjens J" first="Jan" last="Jurjens">Jan Jurjens</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-97845" status="INCOMING"><orgName>Dortmund University of Technology</orgName><desc><address><country key="DE"></country></address><ref type="url">http://www.tu-dortmund.de/uni/International/index.html</ref></desc></hal:affiliation><country>Allemagne</country></affiliation></author><author><name sortKey="Lund, Mass" sort="Lund, Mass" uniqKey="Lund M" first="Mass" last="Lund">Mass Lund</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-119487" status="VALID"><orgName>The Foundation for Scientific and Industrial Research</orgName><orgName type="acronym">SINTEF</orgName><desc><address><addrLine>P.O. Box 124 Blindern N-0314 Oslo, Norway</addrLine><country key="NO"></country></address><ref type="url">http://www.sintef.no/</ref></desc></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Madelenat, Sebastien" sort="Madelenat, Sebastien" uniqKey="Madelenat S" first="Sébastien" last="Madelénat">Sébastien Madelénat</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-6365" status="VALID"><orgName>Thales Research and Technologies [Orsay]</orgName><orgName type="acronym">TRT</orgName><desc><address><addrLine>Domaine de Corbeville, 91404 Orsay CEDEX ,France</addrLine><country key="FR"></country></address><ref type="url">http://www.thalesgroup.com/</ref></desc><listRelation><relation active="#struct-300056" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300056" type="direct"><org type="institution" xml:id="struct-300056" status="VALID"><orgName>THALES</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Muehlberg, Jantobias" sort="Muehlberg, Jantobias" uniqKey="Muehlberg J" first="Jantobias" last="Muehlberg">Jantobias Muehlberg</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-147974" status="VALID"><orgName>Department of Computer Science - K.U.Leuven</orgName><desc><address><addrLine>K.U.Leuven Department of Computer Science Celestijnenlaan 200A - bus 2402 B-3001 Heverlee (Leuven) Belgium</addrLine><country key="BE"></country></address></desc><listRelation><relation active="#struct-302497" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-302497" type="direct"><org type="institution" xml:id="struct-302497" status="VALID"><orgName>Katholieke Universiteit Leuven</orgName><orgName type="acronym">KU Leuven</orgName><desc><address><addrLine>Oude Markt 13 - bus 5005, 3000 Leuven</addrLine><country key="BE"></country></address><ref type="url">http://www.kuleuven.be/english</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Belgique</country><placeName><settlement type="city">Louvain</settlement><region>Région flamande</region><region type="district" nuts="2">Province du Brabant flamand</region></placeName><orgName type="university">Katholieke Universiteit Leuven</orgName></affiliation></author><author><name sortKey="Paci, Federica" sort="Paci, Federica" uniqKey="Paci F" first="Federica" last="Paci">Federica Paci</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-37385" status="VALID"><orgName>Department of Information Engineering and Computer Science</orgName><orgName type="acronym">DISI</orgName><desc><address><addrLine>Dipartimento di Ingegneria e Scienza dell'Informazione Via Sommarive, 14 I-38123 POVO tel. (+39) 0461 882092 fax: (+39) 0461 882093 E-mail: disi@disi.unitn.it</addrLine><country key="IT"></country></address><ref type="url">http://disi.unitn.it/</ref></desc><listRelation><relation active="#struct-452108" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-452108" type="direct"><org type="institution" xml:id="struct-452108" status="VALID"><orgName>University of Trento [Italy]</orgName><desc><address><addrLine>University of Trentovia Calepina, 14 - I-38122 TrentoP.IVA-C.F. 00340520220</addrLine><country key="IT"></country></address><ref type="url">http://www.unitn.it/en</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Italie</country></affiliation></author><author><name sortKey="Paul, Stephane" sort="Paul, Stephane" uniqKey="Paul S" first="Stéphane" last="Paul">Stéphane Paul</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54302" status="VALID"><orgName>Thales Communications [Colombes]</orgName><desc><address><addrLine>160 Bd de Valmy, BP 82 92704 Colombes cedex, France</addrLine><country key="FR"></country></address><ref type="url">http://www.thalesgroup.com/</ref></desc><listRelation><relation active="#struct-300056" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300056" type="direct"><org type="institution" xml:id="struct-300056" status="VALID"><orgName>THALES</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Piessens, Frank" sort="Piessens, Frank" uniqKey="Piessens F" first="Frank" last="Piessens">Frank Piessens</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-135084" status="VALID"><orgName>Machine Intelligence and Imaging Research Group</orgName><orgName type="acronym">ESAT</orgName><desc><address><addrLine>Machine Intelligence and Imaging Research Group, Department of Electrical Engineering (E.S.A.T.), Katholieke Universiteit Leuven, Kurd. Mercierlaan 94, B--3001 Leuven (Heverlee), Belgium</addrLine><country key="BE"></country></address></desc><listRelation><relation active="#struct-92863" type="direct"></relation><relation active="#struct-302497" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-92863" type="direct"><org type="institution" xml:id="struct-92863" status="VALID"><orgName>Université Catholique de Louvain</orgName><orgName type="acronym">UCL</orgName><desc><address><addrLine>Place de l'Université 1 - 1348 Louvain-La-Neuve</addrLine><country key="BE"></country></address><ref type="url">http://www.uclouvain.be/</ref></desc></org></tutelle><tutelle active="#struct-302497" type="direct"><org type="institution" xml:id="struct-302497" status="VALID"><orgName>Katholieke Universiteit Leuven</orgName><orgName type="acronym">KU Leuven</orgName><desc><address><addrLine>Oude Markt 13 - bus 5005, 3000 Leuven</addrLine><country key="BE"></country></address><ref type="url">http://www.kuleuven.be/english</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Belgique</country><placeName><settlement type="city">Louvain-la-Neuve</settlement><region type="region" nuts="1">Région wallonne</region><region type="province" nuts="1">Province du Brabant wallon</region></placeName><orgName type="university">Université catholique de Louvain</orgName><placeName><settlement type="city">Louvain</settlement><region>Région flamande</region><region type="district" nuts="2">Province du Brabant flamand</region></placeName><orgName type="university">Katholieke Universiteit Leuven</orgName></affiliation></author><author><name sortKey="Solhaug, Bjornar" sort="Solhaug, Bjornar" uniqKey="Solhaug B" first="Bjornar" last="Solhaug">Bjornar Solhaug</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-119487" status="VALID"><orgName>The Foundation for Scientific and Industrial Research</orgName><orgName type="acronym">SINTEF</orgName><desc><address><addrLine>P.O. Box 124 Blindern N-0314 Oslo, Norway</addrLine><country key="NO"></country></address><ref type="url">http://www.sintef.no/</ref></desc></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Wenzel, Sven" sort="Wenzel, Sven" uniqKey="Wenzel S" first="Sven" last="Wenzel">Sven Wenzel</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-97845" status="INCOMING"><orgName>Dortmund University of Technology</orgName><desc><address><country key="DE"></country></address><ref type="url">http://www.tu-dortmund.de/uni/International/index.html</ref></desc></hal:affiliation><country>Allemagne</country></affiliation></author></analytic><idno type="DOI">10.1007/978-3-642-24755-2_12</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">How to design a security engineering process that can cope with the dynamic evolution of Future Internet scenarios and the rigidity of existing system engineering processes? The SecureChange approach is to orchestrate (as opposed to integrate) security and system engineering concerns by two types of relations between engineering processes: (i) vertical relations between successive security-related processes; and (ii) horizontal relations between mainstream system engineering processes and concurrent security-related processes. This approach can be extended to cover the complete system/ software lifecycle, from early security requirement elicitation to runtime configuration and monitoring, via high-level architecting, detailed design, development, integration and design-time testing. In this paper we illustrate the high-level scientific principles of the approach.</div></front></TEI><affiliations><list><country><li>Allemagne</li><li>Belgique</li><li>France</li><li>Italie</li><li>Norvège</li></country><region><li>Franche-Comté</li><li>Grand Est</li><li>Lorraine (région)</li><li>Province du Brabant flamand</li><li>Province du Brabant wallon</li><li>Région flamande</li><li>Région wallonne</li></region><settlement><li>Belfort</li><li>Besançon</li><li>Louvain</li><li>Louvain-la-Neuve</li><li>Nancy</li></settlement><orgName><li>Institut national polytechnique de Lorraine</li><li>Katholieke Universiteit Leuven</li><li>Université Nancy 2</li><li>Université catholique de Louvain</li><li>Université de Bourgogne Franche-Comté</li><li>Université de Franche-Comté</li><li>Université de Lorraine</li><li>Université de technologie de Belfort-Montbéliard</li></orgName></list><tree><country name="Italie"><noRegion><name sortKey="Massacci, Fabio" sort="Massacci, Fabio" uniqKey="Massacci F" first="Fabio" last="Massacci">Fabio Massacci</name></noRegion><name sortKey="Paci, Federica" sort="Paci, Federica" uniqKey="Paci F" first="Federica" last="Paci">Federica Paci</name></country><country name="France"><region name="Grand Est"><name sortKey="Bouquet, Fabrice" sort="Bouquet, Fabrice" uniqKey="Bouquet F" first="Fabrice" last="Bouquet">Fabrice Bouquet</name></region><name sortKey="Fourneret, Elizabeta" sort="Fourneret, Elizabeta" uniqKey="Fourneret E" first="Elizabeta" last="Fourneret">Elizabeta Fourneret</name><name sortKey="Madelenat, Sebastien" sort="Madelenat, Sebastien" uniqKey="Madelenat S" first="Sébastien" last="Madelénat">Sébastien Madelénat</name><name sortKey="Paul, Stephane" sort="Paul, Stephane" uniqKey="Paul S" first="Stéphane" last="Paul">Stéphane Paul</name></country><country name="Allemagne"><noRegion><name sortKey="Jurjens, Jan" sort="Jurjens, Jan" uniqKey="Jurjens J" first="Jan" last="Jurjens">Jan Jurjens</name></noRegion><name sortKey="Wenzel, Sven" sort="Wenzel, Sven" uniqKey="Wenzel S" first="Sven" last="Wenzel">Sven Wenzel</name></country><country name="Norvège"><noRegion><name sortKey="Lund, Mass" sort="Lund, Mass" uniqKey="Lund M" first="Mass" last="Lund">Mass Lund</name></noRegion><name sortKey="Solhaug, Bjornar" sort="Solhaug, Bjornar" uniqKey="Solhaug B" first="Bjornar" last="Solhaug">Bjornar Solhaug</name></country><country name="Belgique"><region name="Région flamande"><name sortKey="Muehlberg, Jantobias" sort="Muehlberg, Jantobias" uniqKey="Muehlberg J" first="Jantobias" last="Muehlberg">Jantobias Muehlberg</name></region><name sortKey="Piessens, Frank" sort="Piessens, Frank" uniqKey="Piessens F" first="Frank" last="Piessens">Frank Piessens</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002032 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002032 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-00649258
|texte= Orchestrating Security and System Engineering for Evolving Systems
}}
| This area was generated with Dilib version V0.6.33. |  |